#include "print.h"
void main(void) {
	put_str("I am kernel\n");
	put_int(0x123456);
	put_char('\n');
	while (1);
}
